121. Advances in communication, devices and networking :
پدیدآورنده : Rabindranath Bera, Subir Kumar Sarkar, Swastika Chakraborty, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Wireless communication systems, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Wireless communication systems.
رده :
TK5105
.
5
122. Advances in communication, network, and computing :
پدیدآورنده : Vinu V. Das, Janahanlal Stephen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks -- Congresses.,Data mining -- Congresses.,Image processing -- Digital techniques -- Congresses.
123. Advances in computational intelligence :
پدیدآورنده : Sudip Kumar Sahana, Vandana Bhattacharjee, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computational intelligence.
رده :
Q342
124. Advances in computational intelligence :
پدیدآورنده : Ildar Batyrshin, María de Lourdes Martínez-Villaseñor, Hiram Eredín Ponce Espinosa (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.
رده :
QA76
.
9
.
S63
125. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده : Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
126. Advances in database technology--EDBT '92 :
پدیدآورنده : A. Pirotte, C. Delobel, G. Gottlob, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.
127. Advances in enterprise engineering XII :
پدیدآورنده : David Aveiro, Giancarlo Guizzardi, Sérgio Guerreiro, Wided Guédria (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Management information systems, Congresses.,Systems engineering, Congresses.,Management information systems.,Systems engineering.
رده :
TA168
.
E58
2018eb
128. Advances in intelligent computing /
پدیدآورنده : J.K. Mandal, Paramartha Dutta, Somnath Mukhopadhyay, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computational intelligence.
رده :
Q342
129. Advances in intelligent data analysis XVII :
پدیدآورنده : Wouter Duivesteijn, Arno Siebes, Antti Ukkonen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics-- Data processing, Congresses.,Mathematical statistics, Congresses.,Pattern recognition systems, Congresses.,Artificial Intelligence.,Computer Applications.,Database Management.,Information Systems and Communication Service.,Computer networking & communications.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Database Management-- General.,Computers-- Online Services-- General.,Databases.,Information technology: general issues.,Mathematical statistics-- Data processing.,Mathematical statistics.,Pattern recognition systems.,Program concepts-- learning to program.
رده :
Q337
.
5
130. Advances in intelligent systems and Robotics
پدیدآورنده : / Germano Lambert Torres...[and other]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Artificial intelligent-Congresses,Logic-symblic and mathematical-Robotics-congresses
رده :
006
.
322
A244
131. Advances in internet, data and web technologies :
پدیدآورنده : editors, Leonard Barolli, Fatos Xhafa, Zahoor Ali Khan and Hamad Odhabi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic information resources, Congresses.,Expert systems (Computer science), Congresses.,Intelligent agents (Computer software), Congresses.,COMPUTERS-- General.,Electronic information resources.,Expert systems (Computer science),Intelligent agents (Computer software)
رده :
QA76
.
76
.
I58
.
A383
2018
132. Advances in linear logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
133. Advances in logic, artificial intelligence, and robotics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
134. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده : edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
135. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده : edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
136. Advances in logic artificial intelligence and robotics LAPTEC 2002
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
{
1648
},
a10532fac62a75b806461958d7dac762
137. Advances in logic based intelligent systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
رده :
Q
،
334
،.
C69
،
2005
138. Advances in logic based intelligent systems :
پدیدآورنده : edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
139. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
پدیدآورنده : Su Gao, Steve Jackson, Yi Zhang, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1N67
2004
140. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
